Compressions on partially ordered abelian groups
نویسندگان
چکیده
منابع مشابه
Compressions on Partially Ordered Abelian Groups
If A is a C*-algebra and p ∈ A is a self-adjoint idempotent, the mapping a 7→ pap is called a compression on A. We introduce effect-ordered rings as generalizations of unital C*-algebras and characterize compressions on these rings. The resulting characterization leads to a generalization of the notion of compression on partially ordered abelian groups with order units.
متن کاملLogic and Partially Ordered Abelian Groups
The unit interval in a partially ordered abelian group with order unit forms an interval effect algebra (IEA) and can be regarded as an algebraic model for the semantics of a formal deductive logic. There is a categorical equivalence between the category of IEA’s and the category of unigroups. In this article, we study the IEA-unigroup connection, focusing on the cases in which the IEA is a Boo...
متن کاملFinitely presented partially ordered abelian groups
We study the partially-ordered abelian group, F (P; R), generated by a set of generators,P , and inequality relations, R, and its representations in Euclidean space. First F (P; R) is deened by a universal property and then existence is shown proof-theoretically. We then characterize the order structure of F (P; R). The rst main result of the paper utilizes the Marriage Theorem to prove that if...
متن کاملFree abelian lattice-ordered groups
Let n be a positive integer and FA`(n) be the free abelian latticeordered group on n generators. We prove that FA`(m) and FA`(n) do not satisfy the same first-order sentences in the language L={+,−, 0,∧,∨} if m 6= n. We also show that Th(FA`(n)) is decidable iff n ∈ {1, 2}. Finally, we apply a similar analysis and get analogous results for the free finitely generated vector lattices. A. M. S. C...
متن کاملCharacterizing automorphism groups of ordered abelian groups
In this short note we want to characterize the groups isomorphic to full automorphism groups of ordered abelian groups. The result will follow from classical theorems on ordered groups adding an argument from proofs used to realize rings as endomorphism rings of abelian groups, see [2]. Recall that H is a right ordered group (RO-group) if (H, ·) is a group and (H,<) is a linear order satisfying...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 2004
ISSN: 0002-9939,1088-6826
DOI: 10.1090/s0002-9939-04-07644-0